Completing the Temporal Picture
نویسندگان
چکیده
The paper presents a relatively complete proof system for proving the validity of temporal properties of reactive programs. The presented proof system improves on previous temporal systems, in that it reduces the validity of program properties into pure assertional reasoning, not involving additional temporal reasoning. The proof system is based on the classiication of temporal properties according to the Borel hierarchy, providing appropriate proof rules for the classes of safety, response, and reactivity properties.
منابع مشابه
The random waypoint mobility model with uniform node spatial distribution
In this paper, we solve a long standing open problem by presenting two versions of the well-known random waypoint mobility model in bounded regions generating a uniform steadystate node spatial distribution. In the first version, named temporal-RWP, we exploit the temporal dimension of node mobility and achieve uniformity by continuously changing the speed of a mobile node as a function of its ...
متن کاملSpatio–temporal entanglement of twin photons: An intuitive picture
We draw an intuitive picture of the spatio–temporal properties of the entangled state of twin photons, where they are described as classical wave-packets. This picture predicts a precise relation between their temporal and transverse spatial separations at the crystal output. The space-time coupling described by classical arguments turns out to determine in a precise way the spatio–temporal str...
متن کاملWho Needs Time? Implicit Time Is Sufficient for Some HRI Tasks
We examine the temporal evolution of a neural-network model of word-referent co-learning engaged in an interactive learning task with a human teacher (Veale, Schermerhorn, and Scheutz in preparation). The observed naturallytimed interaction is used to argue that in at least some interesting interactive situations, explicit representation of or operation on time is not necessary. Observing that ...
متن کاملA Comparison of Relationship between Text and Picture in the Selected Iranian and Contemporary American-European Illustrated-Fiction Books Based on the Theory of Maria Nikolajeva and Carole Scott
Illustrated-fiction books are special forms of art that are the combination of text and picture. The relationship between text and picture in this genre is diverse and variegated, and has different effects on the audience; however, little research has been done about it. The goal of this research is to compare text/picture relationship in the selected Iranian and contemporary American-European ...
متن کامل